Computer algebra systems - PDFSEARCH.IO - Document Search Engine

Computer algebra systems
Results: 620

#	Item
261	Hybrid Verification by Exploiting the Environment* Limor Fix and Fred B. Schneider Department of Computer Science, CorneU University, Ithaca, New York[removed]A b s t r a c t . A method for verifying hybrid systems is g Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-13 00:16:30** Procedural programming languages Algebra Logical syntax Variables Parallel computing FO Static single assignment form Free variables and bound variables Environment variable Mathematics Computing Software engineering
262	Basic GAMS Modeling An Introductory Class Frisco Colorado, Aug 10-Aug 12, 2015 This is an offering of a Basic GAMS class followed immediately by an advanced class. This will be a three day Basic GAMS class designed for t Add to Reading List Source URL: gams.com Language: English - Date: 2015-01-09 10:20:04 Mathematical modeling Applied mathematics Computable general equilibrium AMPL Gams Mathematics Software engineering Computer algebra systems Operations research Mathematical optimization
263	Newsletter of the INFORMS Computing Society Volume 20, Number 1 Contents Add to Reading List Source URL: www.und.nodak.edu Language: English - Date: 1999-04-15 14:43:53 Computer algebra systems Operations research Numerical software Scientific modeling Mathematical modeling Mathematical model Modeling language Algebraic modeling language Economic model Mathematical software Science Mathematics
264	Basic to Advanced GAMS Modeling Frisco Colorado, Aug 10 - Aug 14, 2015 This is an offering of five day bridged Basic to Advanced GAMS class. This will be a GAMS class designed for users initially who know little about GA Add to Reading List Source URL: gams.com Language: English - Date: 2015-01-09 10:20:04 Applied mathematics Mathematical modeling Computable general equilibrium AMPL Mathematics Software engineering General Algebraic Modeling System Computer algebra systems Operations research Mathematical optimization
265	Advanced GAMS Modeling Frisco Colorado, Aug 12-Aug 14, 2015 This is an offering of an Advanced GAMS class preceded immediately by a Basic class. This will be a three day Advanced GAMS class designed for users acquainted Add to Reading List Source URL: gams.com Language: English - Date: 2015-01-09 10:20:04 Mathematical modeling Applied mathematics AMPL Gams Mathematics Software engineering General Algebraic Modeling System Operations research Computer algebra systems Mathematical optimization
266	University of Colorado, Boulder Economics 8858 Simulation Techniques for Appied Microeconomics Fall 2014, MW 13:30-14:45 Professor James Markusen Econ 216 Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2014-08-25 09:22:02 Applied mathematics Numerical analysis Computer algebra systems Mathematical modeling General Algebraic Modeling System Numerical software Linear programming MPS AMPL Operations research Mathematics Mathematical optimization
267	Microsoft Word - Welcome to GAMS 1.1.doc Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2009-03-03 18:08:52 Applied mathematics Gempack Windows Explorer Gams Mathematics Software Computer algebra systems Operations research General Algebraic Modeling System
268	1067-Z1[removed]Gregory V. Bard* ([removed]), Dept of Math, John Mulcahey Hall, Fordham University, The Bronx, NY[removed]Exploring Game Theory with SAGE, the open-source competitor to Maple, Mathematica, Matlab and Add to Reading List Source URL: jointmathematicsmeetings.org Language: English - Date: 2010-10-13 00:30:56 Functional languages Cross-platform software Array programming languages Computer algebra systems MATLAB Sage Mathematica Maple Magma computer algebra system Software Mathematical software Computing
269	What is Mathematica? Mathematica is a software package for communicating scientific ideas, whether this is visualization of a concept in an intro-level course, or creating a simulation of a new idea related to research. Add to Reading List Source URL: www.itascacc.edu Language: English Wolfram Research Computer algebra systems Array programming languages Functional languages Mathematica Wolfram Alpha Mathematical software Science Application software
270	IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 25, NO. 5, MAY[removed]Using Simulation and Satisfiability to Compute Flexibilities in Boolean Networks Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2006-11-01 22:55:48 Mathematical logic Algebraic logic Logic Diagrams Formal methods Binary decision diagram Canonical form Circuit Boolean satisfiability problem Theoretical computer science Boolean algebra Mathematics

UPDATE